Preserving mappings in fuzzy predicate logics

In this paper we develop the method of diagrams for fuzzy predicate logics and give a characterization of different kinds of preserving mappings in terms of diagrams. Our work is a contribution to the modeltheoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the structure-preserving relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable using equality-free atomic formulas and parameters from the model. A reduced structure is the quotient of a model modulo this congruence. On the other hand, the structure-preserving relation between two structures plays the same role that the isomorphism relation plays in classical predicate languages with equality. Source URL: https://www.iiia.csic.es/en/node/53946 Links [1] https://www.iiia.csic.es/en/staff/pilar-dellunde [2] https://www.iiia.csic.es/en/bibliography?f[keyword]=670 [3] https://www.iiia.csic.es/en/bibliography?f[keyword]=671 [4] https://www.iiia.csic.es/en/bibliography?f[keyword]=762 [5] https://www.iiia.csic.es/en/bibliography?f[keyword]=672 [6] https://www.iiia.csic.es/en/bibliography?f[keyword]=763